tm BrainMaster System tm Type 2E Module & Software for Windows

Source URL: www.brainm.com

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www.kb.ecei.tohoku.ac.jp

Elsevier Editorial System(tm) for Ad Hoc Networks Manuscript Draft Manuscript Number: ADHOC-D-11-205R2 Title: On Combining Duty-Cycling with Network Coding in Flood-based Sensor Networks Article Type: Regular Paper Keywo

Source URL: faculty.cs.tamu.edu

Table 13. Waterborne Disease Outbreaks in the United States by Type of Water Supply System, 1971 to 1994 Year Community Noncommunity

Source URL: worldwater.org

A New Type System for Deadlock-Free Processes Naoki Kobayashi Graduate School of Information Sciences, Tohoku University Abstract. We extend a previous type system for the π-calculus that

Source URL: www.kb.ecei.tohoku.ac.jp

An Intersection Type System for Deterministic Pushdown Automata Takeshi Tsukada1 and Naoki Kobayashi2 1 2

Source URL: www-kb.is.s.u-tokyo.ac.jp

Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken

Source URL: titanium.cs.berkeley.edu

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Type theory
• Data types
• Distributed computing architecture
• Benchmark
• Type system
• Type inference
• Consistency model
• Shared memory

Pure Type Systems revisited Herman Geuvers Radboud University Nijmegen and Eindhoven University of Technology The Netherlands

Source URL: www.cs.ru.nl

• Lambda calculus
• Type theory
• Combinatory logic
• Pure type system
• Lambda cube
• Fixed-point combinator
• Calculus of constructions
• Explicit substitution
• Natural deduction

Proceedings of the First Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software Vasco T. Vasconcelos Nobuko Yoshida

Source URL: places08.di.fc.ul.pt

• Concurrent programming languages
• Edsger W. Dijkstra
• Parallel computing
• Distributed computing
• Concurrent computing
• Programming language
• Go
• Type system
• Modularity
• Concurrency
• Limbo